M ay 2 00 9 An example of a non adequate numeral system

نویسنده

  • Karim NOUR
چکیده

Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons un exemple simple d’un système numérique non adéquat.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

9 M ay 2 00 5 An infinite dimensional affine nil algebra with finite Gelfand - Kirillov dimension ∗

We construct a nil algebra over a countable field which has finite but non-zero Gelfand-Kirillov dimension. 2000 Mathematics subject classification: 16N, 16P90.

متن کامل

2 9 M ay 2 00 4 A refined version of the Siegel - Shidlovskii theorem

Using Y.André's result on differential equations staisfied by E-functions, we derive an improved version of the Siegel-Shidlovskii theorem. It gives a complete characterisation of algebraic relations over the algebraic numbers between values of E-functions at any non-zero algebraic point.

متن کامل

ar X iv : 0 81 1 . 47 25 v 2 [ m at h . R A ] 1 2 M ay 2 00 9 On the deformation theory of structure constants for associative algebras

Algebraic scheme for constructing deformations of structure constants for associative algebras generated by a deformation driving algebras (DDAs) is discussed. An ideal of left divisors of zero plays a central role in this construction. Deformations of associative three-dimensional algebras with the DDA being a three-dimensional Lie algebra and their connection with integrable systems are studied.

متن کامل

9 M ay 2 00 7 F - THRESHOLDS OF HYPERSURFACES MANUEL

In characteristic zero one can define invariants of singularities using all divisors over the ambient variety. A key result that makes these invariants computable says that they can be determined by the divisors on a resolution of singularities. For example, if a is a sheaf of ideals on a nonsingular variety, then to every nonnegative real number λ one associates the multiplier ideal J (a). The...

متن کامل

ar X iv : 0 90 5 . 35 80 v 1 [ m at h . A G ] 2 1 M ay 2 00 9 Q - UNIVERSAL DESINGULARIZATION

We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular morphism with connected affine source can be factored into a smooth morphism, a ground-field extension and a generic-fibre embedding. Every variety of characteri...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996